Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
661	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science
662	Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:35:59 Propositional calculus Logical syntax Metalogic Predicate logic Principia Mathematica First-order logic Function Constructible universe Lambda calculus Logic Mathematics Mathematical logic
663	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
664	The Lambda Calculus A Brief Introduction Georg P. Loczewski A Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-12-20 07:35:21 Applied mathematics Combinatory logic Fixed-point combinator Expression Hindley–Milner Free variables and bound variables Lambda Binary lambda calculus Lambda-mu calculus Lambda calculus Theoretical computer science Mathematics
665	J-Calc: A typed λ-calculus for Justification Logic K. Pouliasis1 , G. Primiero2 1 Department of Computer Science, Graduate Center, CUNY 2 FWO, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-15 07:37:00 Philosophy of mathematics Logic in computer science Type theory Lambda calculus Mathematical constructivism Curry–Howard correspondence Simply typed lambda calculus Logic Mathematical logic Mathematics Theoretical computer science Computer science
666	Object Closure Conversion ∗ Neal Glew Cornell University 24 August[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:33 Computer science Computability theory Lambda calculus Programming language semantics Denotational semantics Orbifold Theoretical computer science Models of computation Applied mathematics
667	draft Church Encoding of Data Types Considered Harmful for Implementations – Functional Pearl – Pieter Koopman Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Recursion Type theory Data types Lambda calculus Computability theory Church encoding Recursive data type Mogensen–Scott encoding Algebraic data type Software engineering Computing Computer programming
668	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
669	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
670	HOOTS99 Preliminary Version Object Closure Conversion Neal Glew 1 Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:44 Computability theory Lambda calculus Computer science Logic in computer science Models of computation Theoretical computer science Applied mathematics

UPDATE